Algebraic identity for (a+b)^2